- herleitbar
- выводимый
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik … Deutsch Wikipedia
True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Hilbert-Kalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die … Deutsch Wikipedia
Hilbertkalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die … Deutsch Wikipedia
Ex contradictione sequitur quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… … Deutsch Wikipedia
Ex falso quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… … Deutsch Wikipedia
Ex falso sequitur quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… … Deutsch Wikipedia
Cut-elimination — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… … Deutsch Wikipedia
Gentzenkalkül — Der Sequenzenkalkül (manchmal auch Gentzenkalkül) ist ein von Gerhard Gentzen entwickelter, primär für metalogische Zwecke konzipierter logischer Kalkül. Inhaltsverzeichnis 1 Notationen und Konventionen 2 Definition 3 Regeln des Sequenzenkalküls… … Deutsch Wikipedia
Gentzenscher Hauptsatz — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… … Deutsch Wikipedia